1

HORNLOG: A graph-based interpreter for general Horn clauses

Year:
1987
Language:
english
File:
PDF, 2.56 MB
english, 1987
2

Extending SLD resolution to equational horn clauses using E-unification

Year:
1989
Language:
english
File:
PDF, 2.86 MB
english, 1989
3

Patterns of interaction in rule-based expert system programming

Year:
1987
Language:
english
File:
PDF, 1019 KB
english, 1987
5

Theorem proving using equational matings and rigid E-unification

Year:
1992
Language:
english
File:
PDF, 3.46 MB
english, 1992